Algebraic logic - PDFSEARCH.IO - Document Search Engine

Algebraic logic
Results: 422

#	Item
31	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
32	Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-Champaign Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-06-17 14:33:02 Model theory Algebraic topology Real algebraic geometry Mathematical structures Mathematical logic O-minimal theory Euler characteristic Definable set CW complex Topology Structure Semialgebraic set
33	Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:43:04 Mathematics Algebra Abstract algebra Algebraic logic Lattice theory Mathematical logic Order theory Algebraic structures Heyting algebra Residuated lattice Boolean algebra DedekindMacNeille completion
34	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology
35	The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2009-12-14 08:47:04 Mathematical analysis Mathematics Analysis IP Characteristic function Uniform boundedness principle Operator theory Banach spaces Compact operator on Hilbert space Algebraic number field
36	Tutorial on Universal Algebra, Mal’cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:59:18 Mathematical structures Universal algebra Abstract algebra Algebraic structures Mathematical logic Algebra Variety Boolean algebra F-algebra Structure Boolean algebras canonically defined Heyting algebra
37	Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:07:22 Algebra Mathematics Abstract algebra Boolean algebra Algebraic logic Algebraic structures Lattice theory Algebra over a field Heyting algebra Complete Boolean algebra
38	First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Towards Non-deterministic algebraic semantics Authors: Marcelo E. Coniglio (Univer Add to Reading List Source URL: www.sbm.org.br Language: English - Date: 2016-03-03 13:50:19
39	Differential algebraic equations from definability Thomas Scanlon 24 OctoberThomas Scanlon Add to Reading List Source URL: logic.berkeley.edu. Language: English - Date: 2014-11-09 02:34:20
40	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:46 Mathematics Algebra Abstract algebra Algebraic logic Mathematical logic Fuzzy logic Boolean algebra Algebraic structures Residuated lattice Relation algebra Variety Binary relation